Abstract interpretation of distributed network control planes
نویسندگان
چکیده
منابع مشابه
SCL: Simplifying Distributed SDN Control Planes
We consider the following question: what consistency model is appropriate for coordinating the actions of a replicated set of SDN controllers? We first argue that the conventional requirement of strong consistency, typically achieved through the use of Paxos or other consensus algorithms, is conceptually unnecessary to handle unplanned network updates. We present an alternate approach, based on...
متن کاملAnalysis of disassembled executable codes by abstract interpretation
The aim of this paper is to dene the abstract domain, abstract operator, abstract semantic, the environments and states of disassembled executable codes as well as a way to analysis the disassembled executable codes. Nowadays, static analysis on disassembled code going to grow. Reverse engineering and malware analysis use this technique. Thus, we tried to perform pluralization the requirements ...
متن کاملSeparate Abstract Interpretation for Control-Flow Analysis
Effect systems and abstract interpretation are two methods to perform static analysis of programs. We present a new technique that builds upon the type and effect information of module signatures to extend abstract interpretation in the context of separate compilation. We use control-flow analysis as an application of this idea to support our claim. Control-flow analysis strives to determine at...
متن کاملFoundations of Abstract Interpretation
Semantics Similar to concrete semantics: A complete lattice (L#, ≤) as the domain for abstract elements A monotone function F# corresponding to the concrete function F Then the abstract semantics is the least fixed point of F#, lfp F# If F# “correctly approximates” F, then lfp F# “correctly approximates” lfp F. An Example Abstract Domain for Values of Variables How to relate the two? Co...
متن کاملAutomating Abstract Interpretation of Abstract Machines
Static program analysis is a valuable tool for any programming language that people write programs in. The prevalence of scripting languages in the world suggests programming language interpreters are relatively easy to write. Users of these languages lament their inability to analyze their code, therefore programming language analyzers are not easy to write. This thesis investigates a systemat...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the ACM on Programming Languages
سال: 2020
ISSN: 2475-1421
DOI: 10.1145/3371110